Explosion Calculus
https://link.springer.com/article/10.1007/s11225-019-09861-6
古典命題論理に関するシーケント計算に関するちょっとした変形系を紹介
おそらく，爆発律が由来
読んでない